Développement de systèmes à l’aide d’AADL - Ocarina/Cheddar
نویسندگان
چکیده
La construction de systèmes embarqués critiques temps réel suppose de définir conjointement les aspects fonctionnels (algorithmes de calcul, logique de décision) et les aspects non fonctionnels (paramètres de qualité de service, échéances). Afin de valider que le système embarqué critique temps réel est correct, il est souvent nécessaire de disposer d’une vue complète de l’architecture logicielle, matérielle et de leur lien. Le langage AADL (Architecture Analysis and Design Language) est un standard promu par la SAE afin d’aider à l’analyse et la conception de ces systèmes. Cette article vise à fournir un panorama des techniques accessibles au concepteur de systèmes, basées sur AADL. Nous nous limiterons ici aux analyses d’ordonnancement, de pire temps d’exécution et la génération de code.
منابع مشابه
Contribution à l’étude des systèmes de transmission optique utilisant le format de modulation QPSK
متن کامل
Estimation d’état pour systèmes non linéaires à une entrée une sortie
RÉSUMÉ. Dans cette étude, on propose un nouveau type d’observateur d’état pour des systèmes dynamiques comportant des non linéarités polynomiales. La stabilité de la structure proposée est analysée, de même que la convergence uniforme des estimations d’état. Le critère algébrique simple et efficace des polynômes normaux d’amortissement de Naslin permet de réaliser la synthèse des paramètres. Un...
متن کاملStabilisation robuste de systèmes polytopiques par contrôleur d’ordre fixe avec la bôıte à outils polynomiale pour Matlab
Cet article est un descriptif d’une fonction Matlab intitulée ptpdes. Cette fonction permet de stabiliser robustement un système scalaire à incertitude polytopique à l’aide d’un correcteur d’ordre fixe. L’intérêt du problème en commande, le choix du modèle d’incertitude, ainsi que la théorie et l’algorithme contenu dans le code sont décrits en détail dans le rapport [7]. On rappellera ici simpl...
متن کاملEtude à partir des premiers principes de l’effet de la fonctionnalisation sur le transport de charge dans les systèmes à base de carbone à l’échelle mésoscopique
pour obtenir le grade de DOCTEUR de l'UNIVERSITÉ JOSEPH FOURIER (Arrêté ministériel du Mars ) Etude à partir des premiers principes de l'effet de la fonctionnalisation sur le transport de charge dans les systèmes à base de carbone à l'échelle mésoscopique. Cette thèse a été composée en grande partie grâce aux logiciels T E X Louvain-la-Neuve, quienes nos han mostrado el placer de trabaja...
متن کامل